travis use only php 5.4 to prevent phalcon seg fault