Move from AIME git repository