Fixed travis-ci configuration