do-no-require-tinytimer.patch
