vcexec: load renamed push_request