Minor change in make file