Fix prebuilt binary filename