Bash: fix `make` alias
Bash: in profile, setup CUDA dev tools if installed