Use 64bit OS