Update tools/ to include falkTX' property.c fix