Removed problematic files showing under Unix as symlinks with wired filenames.
Added files removed in the previous commit. This will hopefully fix the problems.