Fix ifmain