--no-banner, fixes #14