@Fengyang: it does not matter: it was not installed correctly, and reinstalling it correctly resolved the issue. The fact that it was not installed correctly originally does not constitute a bug, unless you can describe a way to reproduce that state using the official installation methods.
@Fengyang: it does not matter: it was not installed correctly, and reinstalling it correctly resolved the issue. The fact that it was not installed correctly originally does not constitute a bug, unless you can describe a way to reproduce that state using the official installation methods.