Make sure build/ compiles

See #1118