HipHop for php and Nginx server install script