Gross hacks to make cctools somewhat pure again