Fix travis for php < 5.5