int4sci for Linux has been added