Thanks! The simulinux-112-3.zip binary in SRPM is pretty terrible (and also the reason why I failed to update it myself so thanks for pointing this out). It is best practice to rm the binaries in %prep. Make sure to file a bug upstream.