Adapting forked sources to Debian 64 7.3 (wheezy)