fix TOCTOU and simplify output directory creation

This patch simplifies the directory creation, fixes the mkdir TOCTOU and uses warnings instead of errors for linking errors of klee-last (may happen with multiple KLEE processes).