make use of server request_time, which fixes #10