clarify docs about compilation