Debian: bumped version to 0.12