Updated secilc to this workaround can be undone