File names should contain dashes, not underscores

This makes sure #607 actually conforms to the convention (using dasherized file names).