HOPKINS: Silence some warnings reported by GCC. Thanks Eriktorbjorn for reporting those