fix another Travis issue