Summary of changes: 607c476... Some small build fixes (*) 5fe0c8f... Remove old swig files and use separate dir for docs (*) 1473b64... Patches for bindings (*) c4f4d0f... Compile serially again (*) (*) This commit already existed in another branch; no separate mail sent