correct indent platforms line in default.nix