fixed missing config-kdevplatform.h