The source files for executables in this directory are stored in
$KAOSHOME/binsrclib.
