Fix project file
Introduce TermSize module (FFI)