Use environment variables YICES_BIN, Z3_BIN, CVC4_BIN if they are defined