Fix workflow filenames