#! /usr/bin/env bash
# Args: <file> <build-args> [<repo>]
exec "$(dirname "$0")/build_extension.sh" "$1" x86_64 "$2" "$3"