fix FTBFS