Should probably also add --with-tachyon as part of the optional parameters around line 30 in this file.