er: fix WS_HOME var in mysql script