use version 1.5.80 or higher of kdevplatform