Maybe option defaultGatewayWindowSize is used very rarely, but when it is used there will be an error.
mkDefault