Touch numeric.h at configure time