This page has moved to a /posts/2014-04-15-fun-with-debugging-symbols.