used PLATFORM_FRAGMENTS to adjust tinderbox binary regex