Workaround for cmake bug #0013449