Allow gcc to compile RTC hardware model