change in linux flex_sdk binary