Summary of changes: 40d9737... Various fixes and improvements which have been collected in (*) ab608f3... Fix hang during build (*) (*) This commit already existed in another branch; no separate mail sent