Bug#865735: mrpt shouldn't disable PIE

[JOSE LUIS BLANCO CLARACO]

Thanks Adrian!

We already addressed this upstream (and in a waiting version in
mentors.debian.org) but by adding "+pie". We'll use your version if
that's more correct. Thanks.