Summary of changes: c92dd8b... fix build on non-x86 arches (*) 45dbe11... fix patch100 filename (*) (*) This commit already existed in another branch; no separate mail sent