Update modnumber.hh