Which WPTools version supports 64-bit development?