undoing an accidental change committed 3 1/2 years ago which disabled
(!!!) TamiFlex support; question to all of us: how could this go
unnoticed for so long?
Merge branch 'develop' of https://github.com/Sable/soot into develop