For the convenience of Linux package maintainers, add to Makefile.gtk