Fix linking & additional sanity assert in interpreter