Add MathSAT5 and CVC4 to library path