fix for new version of JNGL