Make mysql-repair-crashed.bash executable