release 0.4.0: fix building, and re-release