GitHub #137: Working towards compiling