Forgot to get $user before using it in setup.sh