make Ramsey compile again (and comment out iso constraint)