Have -fcase-fold work on REPL