Fix: clean up nix expression of opencryptoki