Bugfix for deprecated mysql_ call in class.interface.php