fix make file #4433