Thanks to jgustak, a new better makefile was released
Sethe Development Environment version 0.0.2 (unstable) released