Fix FileCheck: substr() expect the length of the string as 2nd arg