Rebuild the Linux tools on Debian stable, for greater compatibility