Don't use pushd (travis does not have it)