more small fixes for travis