K 10 svn:author V 5 danfe K 8 svn:date V 27 2019-12-16T10:12:04.389645Z K 7 svn:log V 283 Remove DEBUG option and amend CONFIGURE_ARGS according to WITH_DEBUG. Users often got confused as to why installed binaries are stripped when they've selected DEBUG option, which should not have been an option in the first place, but a user-facing variable. Now sanity is restored. END