syntax error when compiling on Ubuntu

[wolvre]

scons: done reading SConscript files.
scons: Building targets ...
coqc -R . CoRN -R math-classes/src MathClasses -q math-classes/src/misc/decision.v
File ".../corn/math-classes/src/misc/decision.v", line 30, characters 18-23:
Syntax error: '.' expected after [vernac:command](in [vernac_aux]).
scons: *** [math-classes/src/misc/decision.vo] Error 1
scons: building terminated because of errors.

I am compiling CORN with the git version of native-coq (github.com/maximedenes/native-coq) and scons 2.3.3.

[wolvre]

OK, this may be due to the version of Coq I am using. The latest release of Coq (8.4pl5) passes that, but still gets the following error:

File ".../corn/math-classes/src/theory/adjunctions.v", line 192, characters 32-38:
Error: Illegal application (Non-functional construction):