Fix dist variable to point to correct directory for VERTX_HOME