fix bashscript: add --compiler option