HOPKINS: Silence some GCC warning (thanks to eriktorbjorn)