add -Wcheck to test program compilation