Merge remote-tracking branch 'barak/master' into debian
New debian stuff