Using ICanBoogie's auto-config