boost dependencies while installing gt on Ubuntu 18.04

The package need to be rebuild. I'll do so for next release.

Would it be a good idea to downgrade ubuntu then? If it could happen within next few days, I would probably wait.

Thank you

​Sent with ProtonMail Secure Email.​

‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐