fixes for changes to Platform's Timer code