Fix Travis-CI configuration.