some leftovers
Merge branch 'dev' of https://github.com/c-f-h/vpinball into dev