class rtai_target(targets.target_gcc):

extensionexe = "exe"

extensiondll = "dll"