diff -r f79944e2bd85 -r d83cb4945d5e ci/ci-pharo-common.sh
--- a/ci/ci-pharo-common.sh	Mon Nov 23 14:00:53 2015 +0100
+++ b/ci/ci-pharo-common.sh	Tue Nov 24 19:37:14 2015 +0100
@@ -2,7 +2,7 @@
 # A set of functions to be used in PetitParser's Pharo CI jobs
 #
 
-if [ ! -x "ci-common.sh" ]; then
+if [ ! -f "ci-common.sh" ]; then
     wget -O "ci-common.sh" https://bitbucket.org/janvrany/stx-goodies-petitparser/raw/tip/ci/ci-common.sh
 fi
 . ci-common.sh