use $STACK to choose between Nginx binaries