add workaround for nmigen bug #502