GPII-434: pushd requires an argument