Somehow, @travis-ci was unable to understand that it had to use a php worker with this limitation set. I think we can survive if master fails for a bit :)