The original file end up with .txt, but your code expect it to be .pl. Can you tell to rename it? Also, we have a script that download stuff, can you make it download it, rename it and echo that the license is unknow. It is in this file: data/download.sh