gnu: doxygen: Work around GCC ICE on armhf-linux.