Tweaked paths for travis config