mistake on nix porting of mk