piranha 0.11

An emergency bug-fix release to deal with a compilation error with GCC 8.1, seemingly caused by a compiler bug. This release is based on 0.10 and it does not contain any of the new code being worked on in the master branch.