Alex pointed out correctly that the target name 'check' is taken on
some systems. Changed the command of running all unit tests to 'verify'.