deploy and using the hiphop-php project of facebook