Bumped ABI version to 4.0.0

Fixes #994