fix problem with libraries