Ignore elegance-colors-gui binary
Fix wrong theme name in exported theme