Change main by Main in sjudge.sh