f32-free ftbfs list