make portlint happy
update distinfo for 4.0.1
fix missing so