Excuse me, i have the same problem. What exactly have you done to overcome the issue ?
Did you just execute the commands apt-get update apt-get dist-upgrade ? and what happened later is it fixed and...