Fix Travis CI configuration

Thanks @crazymaster