Make gdkkeysyms-update.pl use #pragma once, as our headers
do nowadays.