workarround: cmake does not handle toolchain files correctly (see http://www.cmake.org/Bug/print_bug_page.php?bug_id=13008).