Only build DVD drive tools on Linux