improve logging (forgot to call "make.sh" after last change)