no need to rerun `apt-get update`
bump version to 0.4.2