work around GCC being dumb