@User, @User: The modification to netgen has been committed and pushed to the repository on opencircuitdesign.com. The github mirror will be updated overnight.