Edited instructions for compiling/packaging the prox.