Split prop_current_user_privilege_set() into a user part and a library part