Version 0.7.1

Version 0.7.1 is a bugfix of Version 0.7.0.

It fixes one small thing. The shelter coming prebuilt.