texi2md.pl: made file executable