Removed the obsolete -android option.