Fix section and libobjcryst name.