Jenkins uses UTF-8; we might as well
Set version to 0.4.0.0