correct library filename