Fix #1255: add a global installation test
1 file changed