Temporarily use uppercase product name to workaround bug 1010120 (#442)

This will fix issue #442.