I found another solution. Just try to install the package and let it fail. Then deactivate the sources.list entries of the sdk and run apt-get update. Now you can install it by running dpkg -i /var/cache/apt/archives/package.deb.

Here's an example log: link