Small tweaks to prov.h to fix compialtion error and ditch fn alias