fixes send to me by Olivier Teuliere by a private mail
introduce renamings for very wired names keeping .old_name so that
AddonsInfo still finds the old name.