RequestUtil: Slightly better error message if not running on 64-bit PHP.