It could be also issue with apc cache. Restart apache2 or execute apc_clear_cache(); from php