How strange. I use my laptop all the time with MLton and never have any problem. Do you know what kernel and/or which version of Red Hat (if that is what you use) you are running on the laptop?