Work around travis-build bug