Fixing the CPU usage bug on GNU/Linux among a few other things