Is there a reason for the options to don't have shorter aliases here as well as in `configure`?