PHP fix, removed Travis