gecode-src -> lib
Fix warnings.