bump ABI version to 13