Unskipping this as the issue should be solved by #779.