NixOS 14.04 Is a Unique Operating System That Uses KDE 4.2