hups, change name in dist.ini