Try to fix the build for HHVM