Add a bit more machine support, in particular to libtinyc.