just run travis on php 5.4