properly_detect_x32.patch
