Fix wrongly replaced filename, add missing lib