Try to silence GCC warnings