Нашел
VLC media player Portable 1.0.3, распаковал. Все это дело заняло 76 мБ (не хило для плеера). Нашел там функцию конвертирования, открыл файл, показал куда сохранить, указал настройки упаковки. После нажания конвертировать конвертер вылетает, а на том месе куда нужно было файл положить образовывается файл с расширением ps. (но это точно не воспроизводится).