try to work around travis