Restored one executable bit that was lost during the war on whitespace.