Work around travis bug