post_upgrade() { if (( $(vercmp $2 2.5.4-3) < 0 )); then cat <