Added 64bit flag and changed the way the provider file is loaded