add .iex for easily trying out Exrtm on iex