tools: set the execute bit on our scripts.