tex file was not up to date (unnecessary)