Use rax 0.4.2 binaries