fixes #835 so that we generate a profiles zip file for the default profiles