Specifing PHP executable for travis tests