@User: I also got an error with "make timing" and will generated an issue about it.