update to aleph 0.4.0, and remove aloha