Fix *_4_0_level_9_x targets (issue #4).