knoppix executables