A few hacks to work around Linux a bit.