removed obsolete command-line option