Add targetSdk to manifests again, to retain Eclipse compatibility