Make the non-threaded-RTS threadDelay wait at least as long as asked