Fix incorrect filename in hotsauce