Changed push-behavior for compatibility with Debian-Wheezy