Report duplicate argv options to stderr