pushed/popd isn't really necessary in make, but you can do it if you want :)