We were already using snapshots, but development moved to github. Also add "9" to $out/bin as it is the recommended practice, see install.txt
We were already using snapshots, but development moved to github. Also add "9" to $out/bin as it is the recommended practice, see install.txt