Remove unnecessary include in Github Actions script.