Fix linux-x86_64 SDK build