diff -r 8c6823fee086 -r fa43fed1084c lib/ieclib.txt
--- a/lib/ieclib.txt	Sat Mar 31 15:30:38 2012 +0100
+++ b/lib/ieclib.txt	Sat Mar 31 15:34:33 2012 +0100
@@ -38,6 +38,7 @@
 {#include "integral_st.txt" }
 {#include "pid_st.txt" }
 {#include "ramp_st.txt" }
+{#include "rtc.txt" }
 
 (* Not in the standard, but useful nonetheless. *)
 {#include "sema.txt" }