CARMEN is now found through pkg-config