Fix RUN-Contra.sh.