more explicit synopsys
don't advertise deprecated options