check.c: Fix compiler error for 4.7 toolchains