#!/bin/sh

exec "${0%-armv6l}-armv7l" "$@"