python3: fix install mk filenames