extraneous export line in bashrc
better lua version switching