Use basename in push script to facilitate better matching local file structure.