Give up and use a bash script to fix image filenames.