Fix file naming

Same as the other scripts