# null file because devtools breaks without it post_upgrade() { true } post_install() { true } pre_remove() { true }