minor fix for timeout makefile command