Fix the fact the put_time() does not work in GCC