Statically link to RTS in generated C code