hopefully fixes arenavalue importing (#236)