specified linux64 binary regex
used PLATFORM_FRAGMENTS to adjust tinderbox binary regex