Compilation after pull