diff --git a/build/pkgs/flint/spkg-check b/build/pkgs/flint/spkg-check
old mode 100755
new mode 100644