ve: tabs become spaces

also, bash is started with os.execvp rather than with subprocess