Yikes: I see code in the MLton startup to read if we have SSE from /proc/cpuinfo. What are we using this stuff for?