WIP: fix abi-check and automatic upload