missing headers on w32 #3