Note about broken CIVET/1.1.10 filename lengths