Flush stdout in mono_print_method_from_ip () to make debugging on windows a bit easier.