Fixed travis-ci configuration.