Fixing bad path for travis CI build