fixup! Make sure manifest compilation works with API 17.