configure: cosmetics (clean up configure options).