32win32one1 currently has no fans.