Change to allow compiling this file. It is obsolete but may be useful in the future.