Add required binaries for marvel