Moved normalizePath into common.h, made it not kernel-dependent, and left a note on what to fix.