small fixes to coresolvertest to make it compile