Fix Gabriel configuration with cmake