GambitREPL: have grd strip containing directory when doing a push/pull of a file/dir