we don't have a global makefile, so we can use the normal name for deployment