allow to execute ghci (and other interactive commands)