RunTravis: fixed some more issues