sync the /debian dir with the one in precise (with a couple of changes), because...