Fix file name in 6d7f8e5d020b1c499ed8874a8d9bbe700838721c

Bad script is bad