const-correctness fix for Linux/gcc