add option to ivory-backend-c to not output srclocs