Es gibt eine portable Version vom VLC Media Player, der, soweit ich weiß, seine eigenen Decoder mitbringt, damit müsstest du eigentlich das Video öffnen können. Also einfach die avi und den Portable VLC auf einen USB Stick, das Programm vom Stick aus starten und es müsste gehen.