Update the configure script to pass --enable-64bit