that was, weird, didn't know that the flag was missing for php 5.3... that took an hour...
let's try travis again