Updated patch collection.
Updated mirror list.
Updated Valdec decoder binary to v1.4.0a (2013-03-17).