Верно, если у кодера кривые руки, то он может просто искать в имени файла подстроку .zip, найдя пропустит, не смотря на то, что реальное расширение файла - .zip