Ebony xxxshallow compilation