switched to datomic pro