Make sure manifest compilation works with API 17.