Update run script to deal with change to build of REPL shaded JAR