Jormungandr: deletion of a old and useless cmake file