Fix compilation errors (gradle vs.IDE differ?)