Remove odious hack in miscadmin.h and fix warnings