PRINCE: Silence casting const type warning in gcc