python3: fix install mk filenames

No match.