Set version to 4.0 as the addin should also work with 4.0 and 4.0.1.