try to work around travis bug