Glulx timers

I seem to have what I need by using the code from this post :

But I am curious as to why Basic Real Time isn’t working for me. The build of Inform 7 I’m using is “Inform (1.2 6.31/6H98).” I have Basic Real Time version 2 installed.

When I run the “Green Button” example code that comes with the extension, I get a compiler error that states:

I changed “It can be pressed or unpressed.” to “The button can be pressed or unpressed.” Which seems to solve that problem, but then I get this compiler error: