CONFIGURE: Make the libmpeg2 properly require 0.4.0