see src/README.txt