Fix filenames of examples