more stuff/hacks to get mysql to work