dos2unix of these files, fixes for dominos solver