Add something so that arXiv doesn't remove this file