bugfix sngcompiler