work around some strange mysql behaviour, version bump to 0.7.15