Fixed travis-ci config