Upgrade to release 0.13.1.

Seems that privileges are dropped in a way, that restricts writing of
the PID file to driectories that can be written into by the UID the
process is running under (i.e. nobody). This will be fixed later ...