#!/bin/bash

`basename $0`.orig "$@" | sed -r 's/aarch64|armv7l|x86_64/armv5tel/g'