I give up on Travis-CI