Tweaking required extension definitions