tools: clean up patch from merge request !36.

Commit 283ec1da previously pushed had some coding style bugs, which
unfortunately couldn't be fixed before pushing because the platform
doesn't allow it and the original contributor is not available lately.
Let's fix these.
4 jobs for master in 11 minutes and 49 seconds (queued for 1 second)
Status Job ID Name Coverage
  Babl
passed #434360
babl-git

00:02:04

 
  Gegl
passed #434361
gegl-git

00:02:18

 
  Gimp
passed #434362
build-git-autotools

00:07:26

passed #434363
build-git-meson

00:04:19