Utilities for rasplex, a port of plexht to raspberry pi