Fix lost execute bit (from big tos merge?)