Thanks, gri... but I was mistaken. ESbox IDE shows that the inclusions are unresolved, but in fact the build works - so this is not a serious problem, just a nuisance. Sorry about the noise...