Re: [IMP-users] Compilation error of develop-version due to problem with shell?