Fix travis setup php for php 5.4