fix default profile name in conf-dist.ini