debug message for linux issue with quint