Revise holfoot executable generation to use polyc This makes things simpler on the whole I think and lets us not have to worry about shared libraries and their locations.