extramodules=/usr/lib/modules/extramodules-3.12-LIBRE post_install() { depmod -v $(< "$extramodules/version") &>/dev/null } post_upgrade() { post_install } post_remove() { post_install }