android: util: fix build for GL4.1 support