Fix path to datomic version config file when downloading datomic