Make travis test under php 5.4