Use correct syntax for make file

From #3265.