use explicit commands in Travis script: