Fix for pushd not being recognised by the server for compiling