remove message about old phobos bug, now it\'s worked-around