Debian jessie support workaround