dist/version.txt/null: no such file in rev 0ef6d011e1c2