/usr/bin/orte-bootproxy is in openmpi1.5-bin 1.5.4-0ubuntu1.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91  | #!/bin/sh
#
# Copyright (c) 2009      Los Alamos National Security, LLC. All rights reserved
# Copyright (c) 2009      Cisco Systems, Inc.  All rights reserved.
#
if (( $# < 1 )) ; then
    echo "orte-bootproxy.sh: for OMPI internal use only"
    exit 1
fi
# take the first arg
var=$1
# if the var is CLEANUP, then we are in cleanup mode
if [ "${var}" = "CLEANUP" ]; then
    shift 1
    var=$1
    if [ -n "${var}" ] && [ "${var}" = "APPS" ]; then
        # kill specified apps
        shift 1
        var=$1
        # get the process table
        psout=`ps`
        # cycle through and look for the specified apps
        while [ -n "${var}" ] && [ "${var}" != "FILES" ]; do
            testvar=`echo "${psout}" | grep "${var}"`
            if [ -n "${testvar}" ]; then
#                echo "killall" "${var}"
                killall -TERM "${var}"
            fi
            shift 1
            var=$1
        done
        if [ -n "${var}" ]; then
            shift 1
            var=$1
            # remove specified files
            while [ -n "${var}" ]; do
                if [ -e "${var}" ]; then
#                    echo "rm" "${var}"
                    rm -f "${var}"
                fi
                shift 1
                var=$1
            done
        fi
    elif [ "${var}" = "FILES" ]; then
        # remove specified files
        shift 1
        var=$1
        while [ -n "${var}" ]; do
            if [ -e "${var}" ]; then
#                echo "rm" "${var}"
                rm -f "${var}"
            fi
            shift 1
            var=$1
        done
    fi
    # remove any session directories from this user
#    sdir="${TMPDIR}""openmpi-sessions-""${USER}""@"`hostname`"_0"
    sdir="/tmp/openmpi-sessions-""${USER}""@"`hostname`"_0"
    if [ -e "${sdir}" ]; then
#        echo "rm" "${sdir}"
        rm -rf "${sdir}"
    fi
    exit 0
fi
# push all MCA params to the environment
while [ "${var:0:5}" = "OMPI_" ]; do
    if [ "${var:5:6}" = "PREFIX" ]; then
        export LD_LIBRARY_PATH="${var:12}"/lib:$LD_LIBRARY_PATH
        export PATH="${var:12}"/bin:$PATH
    elif [ "${var:5:4}" = "WDIR" ]; then
        cd "${var:10}"
    else
        export $var
    fi
    shift 1
    var=$1
done
# extract the application to be executed
app=$1
shift 1
#exec the app with the remaining args
#echo "executing" "$app"
exec "$app" "$@"
 |