Revert "Update ariesve.mk"

This reverts commit 0a892994ae6cefb34bb856e499540be494c76188.