build 0.3.9 (from Code Synthesis)