If there are 32-bits overflow problems, you'd have to fix them. Presumably, that involves identifying where they occur, and them correcting the arithmetic, e.g. by using larger integer types. In other words, it means patching the VLC source code. is it worth raising this as a bug in VLC to be fixed...