Why is this patch needed? --- libgimp/gimp.c.orig 2018-03-25 14:35:18.000000000 +0200 +++ libgimp/gimp.c 2018-04-14 18:55:00.422346000 +0200 @@ -28,6 +28,7 @@ #include #include #include +#include #ifdef HAVE_SYS_TIME_H #include @@ -425,6 +426,9 @@ gimp_main (const GimpPlugInInfo *info, gimp_env_init (TRUE); progname = argv[ARG_PROGNAME]; + + /* Ignore floating point exceptions */ + fpsetmask(0); basename = g_path_get_basename (progname);