Android open source maintainer quits over proprietary code issues