specify the SHA of NetLogo once only