why you need to force 64bit here even for 32bit systems?