#!/bin/bash exec PREFIX/bin/BINARY-mp-GCC_VERSION -fplugin=PLUGIN "${@}"