Small improvements, auto-build, and workaround for #80

See #80 for more information on the workaround. These commits are good to merge from my point of view.