Verified build working with simrel