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.