if that fails then you should probably file a bug to ngspice or try to build the most up to date ngspice (pre-master git branch) if not already done