src/mp3encoder.in: Use the correct syntax.