Hi, The debian directory isn't in the source anymore, so you can close this bug. Regards, Jeroen Nijhof