Added workaround for cmake bug #13125