fix travis php 5.3 version