virgo peridot compilation

.