Allowed x64 folder.
Added initial version of Lean.Database.