Remove yet more stray executable bits. The last, I hope.