some fixes for travis