Removed warning about obfuscated filename and line numbers (fixed long ago).