Summary of changes:
e040315... bugfix to make building on x86_64 successful (*) e89a63c... changed cp to rsync (*) 68e8500... renamed the script, fixes version problems. Git will handle (*) 3ff1765... fixed my own booboo on development (*) b2dae7d... Merge branch 'development'
(*) This commit already existed in another branch; no separate mail sent