Turns out symbolic links on my machine do not work well with github. This time, here are some actual files.