Rename luaintro files.