Proper name for gcc library