fix installation of the boost package