Ubuntu workaround found; update TODO.