Yet another error in linking to antimony