removed more debugging symbols