after consultation with Adri2000 on irc, I was pointed to http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=385464;msg=15, which indicates that a rebuild is enough for fixing this bug.
after consultation with Adri2000 on irc, I was pointed to http:// bugs.debian. org/cgi- bin/bugreport. cgi?bug= 385464; msg=15, which indicates that a rebuild is enough for fixing this bug.