[colossus/f17] (3 commits) ...Adkust for extra directory level in source tree

[Bruno Wolff III]

Summary of changes:

  f39f9cd... Update to upstream 0.13.2 (*)
  85d1e26... Don't forget the new source file (*)
  016995f... Adkust for extra directory level in source tree (*)

(*) This commit already existed in another branch; no separate mail sent