cosmetics
add (old!) concurrent-dotproduct and unix