numenta/nupic — pull request #1265 by breznak (2014-09-06 00:38:31+00:00)
Title: replace pushd/popd commands

as they are not avail on all distributions (eg ubuntu)
Fixes #1232