Fixed permissions.

diff --git a/public/COPY b/public/COPY
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/public/check b/public/check
old mode 100644 (file)
new mode 100755 (executable)

diff --git a/public/compile b/public/compile
old mode 100644 (file)
new mode 100755 (executable)

diff --git a/public/status b/public/status
old mode 100644 (file)
new mode 100755 (executable)

diff --git a/public/submit b/public/submit
old mode 100644 (file)
new mode 100755 (executable)