Remove hhvm and php 5.3 (doesn't support web server) - fix server definition