Fix #1180 : abort build when the encoding is not synchronized