Use a different temp directory

CMakeTmp is randomly cleaned by cmake.

Fixes #12