Bash Profile: added aliasi?