Fix the "make verify" target on NetBSD