Remove protocols_f.5 library from devel unit test src.settings (we still have that?) and core. This actually does what my previous commit should have done.