41af127008711c88c31184607fb0ea3f1d20764c  jove.gcc17.diff