Add binary file to support risc64 build