Issue #368: dev installation, generate config.ini file automatically