Fix issue #6 of fptudelft/HHVM.js