Fix #11: libcheck issue in Debian testing building server