Está claro que es problema del port. Has mandado el bug al bug tracker, como te pidieron? He echado un ojo pero no lo encuentro. Si no mandas el bug no pueden corregirlo, y algo en lo que siempre insisten mucho es en que no se manden bugs vía foro, que no hay cristo que los organice para repararlos.