add OPTION USE_32BITS for linux