A python script to rename tagged files for Visual Gesture Builder