diff --git a/tool/compile_prelude.rb b/tool/compile_prelude.rb
old mode 100644
new mode 100755