non-terminals file path moved