MOSYNCLIB-5: Yet another forgotten file to commit
(I actually think my git client did not show it before)