- configuration: added "--prefer-system-codecs" option to force VLC to use codecs installed on system whwn a choice is available (currently only works on win32)