LaTex plugin: rename plugin file