Fix bug in .profile
Better bash completion support
Fix a bug in server detection