PRINCE: Fix compilation on gcc, silence warnings