line-end patch
source install without pre-installed diamond
Corrects error in mp4_vJun23.1
This should allow to use the MP4 vJun23 database.
This allows to use the MP4 vOct22 database.