removed other unneccessary .ml files