#!/bin/bash # should not create any files in the rtl dir # but auxiliary files / dirs can be utilised