Use __getattribute__ instead of properties since Extension is an old-style class