antok: added modification not done in my user directory

Why do we need this function?