HOPKINS: Fix GCC warnings