added: possibility to specify options when IDE is not started from command line (currently for the Mac app)