configure: fix build problems with eCos