dynamic_hotproc : various fixups to make my origianl hotprocs code work with the new dynamic hotprocs backend