removed debugging symbols