* configure: allow 4.00 and 4.01