Disabling main() check on UBSAN, since the noreturn check is already made