Travis-CI: bug-fix in working directory changes