renamed configure options