Yes indeed, the real hand optimized files are private, the ones in the repo are decoys.