Fix compilation with eclipse