Drop the "1." from the version. Fixes #1138

What's not clear is whether more things need to be changed on the CI server.