Bug#703812: linux-headers-3.2.0-4-common-rt: missing /usr/src/linux-headers-3.2.0-4-common-rt/include

[Rafał Olejnik <ja@pakos.biz>]

Package: linux-headers-3.2.0-4-common-rt
Version: 3.2.39-2
Severity: normal
Tags: upstream

Dear Maintainer,
after kernel packages upgrade from 3.2.39-2 to 3.2.41-1 building virtualbox-
dkms module failed with following error:
fatal error: /usr/src/linux-headers-3.2.0-4-common-rt/include/linux/kconfig.h:
No such file or directory



-- System Information:
Debian Release: 7.0
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 3.2.0-4-rt-amd64 (SMP w/2 CPU cores; PREEMPT)
Locale: LANG=en_GB.utf8, LC_CTYPE=en_GB.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

-- no debconf information