Correct php extension for travis