A possibly unique filename!