ADD: correct OS-specific paths