PRINCE: Interpreter flags fix.