This file should not be compiled (it should only appear as a link to download the source).