Common files for inside Tehplayground's docker containers