I tested and had the same issues, i'm afraid i have nothing can do to fix it since it's a ports issue instead of iRedMail issue. 
Another suggestion is, if you're urgent to setup a mail server and don't mind to use other distribution, try to choose other Linux/BSD distribution supported by iRedMail if possible.