Set files need to start with the name set or webwork complains.