Restore some lines wrongly deleted from makefile.