Delete mainfuns.h~