some adjustments for travis,
set requirement for php 5.4