Fix/debian bug 763264