Correcting the executable permission mistake in commit da64e4297f3e99d244b2afe4895959eb4525d25f