nikitonsky: Switching to Linux now looks like the least painful option.