Workaround until the libosmgpsmap version used in Ubuntu is fixed (debian bug #745860)