fix execute bit on .jenkins