Update MicroluaTimer.h