bash: fix path for make