Update db3-check.m4