same license as the Guix package manager
