HOPKINS: Fix remaining GCC warnings (on behalf of Eriktorbjorn)