post_install() {
  EXTRAMODULES='extramodules-3.9-LIBRE'
  depmod $(cat /usr/lib/modules/$EXTRAMODULES/version)
}

post_upgrade() {
  EXTRAMODULES='extramodules-3.9-LIBRE'
  depmod $(cat /usr/lib/modules/$EXTRAMODULES/version)
}

post_remove() {
  EXTRAMODULES='extramodules-3.9-LIBRE'
  depmod $(cat /usr/lib/modules/$EXTRAMODULES/version)
}