rename side-defining header file. Resolves #1