Support for hiphop-php