Change leases file name and .gitignore accordingly