Fix toggling of REPL buttons
Increment version number