Re: [9fans] NIX 64-bit kernel is available

[Francisco J Ballesteros]

I could run old binaries. Perhaps profiling no longer works for them,
didn't even try.
Either way, we had no choice. We had to put some stuff in there.