Update lava-debian-7.5