suppress errors on `set_time_limit()`
Czech translation from Rudolf Klusal