src/mp3encoder.in: Import correct module; this one is the good one.