Tweak new STL port's <ctime>.