AMPLE install scripts: not published yet.