Fix bash scripts that install mvn