fixes to the booter around argument passing