I probably should change the name in the --version and license headers as well