VIDEO: Clean up the AVI decoder