Add hack to get around zipfile issue with omni.ja