fix push_files and pull_files commands