Fix #17: remove bad path warnings.