Fixes for latest pignlproc