Re-enabling 64bit