fix .pl extension