Upgrading from 7.2 to 8.0 - Kdevelop troubles