Make def file generation script executable