# Copy scripts to the installation:
dest="$PREFIX/bin"
mkdir -p "$dest" && cp -p scripts/* "$dest/"