I received a nice reply from Joe Armstrong. Basically he agrees with the idea of deterministic builds and hashes for content of source files
http://joearms.github.io/2015/03/12/The_web_of_names.html and will support us if we raise our issue on the mailing list. Leo, do you want to have a go - essentially sending the E-mail I wrote to Joe? I can do it if you want me to. I'll sign up to the ML too. http://erlang.org/mailman/listinfo/erlang-questions Pj.