A workaround for a bug in cmake 2.8.3 diagnosed on PR 8885.