Fix replace idiocy

labs/receiver/receiver.c

@@ -14,7 +14,7 @@ void display_character (char character)
     char buffer[2];
     buffer[0] = character;
     buffer[1] = '\0';
-    tinygl_tlab3-ext (buffer);
+    tinygl_text (buffer);
 }
 
 
@@ -23,7 +23,7 @@ int main (void)
     system_init ();
     tinygl_init (PACER_RATE);
     tinygl_font_set (&font5x7_1);
-    tinygl_tlab3-ext_speed_set (MESSAGE_RATE);
+    tinygl_text_speed_set (MESSAGE_RATE);
     ir_uart_init ();
 
     pacer_init (PACER_RATE);