Switch to datomic pro