Update filename for github.