Fix when configuring for chai5

Signed-off-by: FellowTraveler <F3llowTraveler@gmail.com>