Fix up paths for checked mode
Merge pull request #495 from dart-lang/checked_mode

Fix up paths for checked mode