d710: Remove extra / in AndroidProducts.mk