added dist main_module and options to dist.ini