Undoes 714b337 because github seems to no longer require chmod +x for syntax highlighting extensionless files.
714b337