Thanks to Sergii Baitala, who reported this in #300 Shared ngspice: ngspice hangs on getchar http://sourceforge.net/p/ngspice/bugs/300/