documenting compilation