fix nhc98 build: recent change to use picoseconds was not portable