Fix Travis-CI setup