Added PHP 5.3 and Facebook HHVM.