Add tomips bash function