make Travis-CI to test against PHP 5.4