fix Boost source URL, in alignment with #309