Fixing boost detection on some platforms