updated with information about FTBFS 763257