workaround for case-pseudo-insensitive file systems
add a bit verbosity to githubdate
missing ;
Source for buildrump.sh git rev 7adbc2965e34b8451a097b07fbad9779bf930899