Fix env setup for Travis-CI