Supress warning

We use PreferenceActivity without fragments, this is deprecated since
API 11.