fix Android thread enumeration