Summary of changes: 9f5b443... Patch so it builds on ARM (rfbz#2413) (*) 733c1dc... add patch (*) (*) This commit already existed in another branch; no separate mail sent