proper static inclusion of hpmor-prince

I suck at git. I apologize.