a995b8b0ab
Details:
This is a revert of c1e0f931e3 plus
removing the DEBUG OPTION from mencoder as well, following the trend to
phase out DEBUG as an option.