Repair: Realtime extensions with MySQL

Went back to try the install from scratch. Found a few bugs (extra quotes actually) in the MySQL script to create the extensions database. Fixed version here.