php 5.4 travis 3.1 build fix