fixing weird travis bug