make check target happy