Use the right filename.