#!/bin/bash
[[ `hostname` = alef* ]] && /bin/uname "$@" | sed 's/x86_64/i686/' && exit 0
/bin/uname "$@"
