travis modified; php 5.3 dropped