Ask terralib by mail for access to terralib and put it in src/terralib, such that there is: .../src/terralib/kernel