Add platform file for Debian wheezy.