Yes, thanks, also this can be a workaround.But i can think also for other people, if in case this annoying problem also affects other people.Then, if this is the only solution, it's bette I fill a bug in order to put this new alias into /etc/profile* or something similarOr there is another better solution?it could probably be useful to invest on why it happens.If you let me know what I can verify I do