You are using renpy, why there is linux version missing?
What codec is required to view animations? I have troubles whowing them