Removing files from old theme and boring metapost