add a 'check' target for jenkins