Removing deprecated configure options