Quick fix for the SRC_FILE failure
Quick fix for the SRC_FILE failure

A really unnecessary minor mistake, that caused a big failure in the
Travis CI. This adjustment should fix the failure though.


Former-commit-id: c18cbff7420fea884218c4a26f621cf219d15d89
Former-commit-id: 26c7627d5c60f8f72597d345f1a5637fd8e3f931 [formerly f231aa1ae1297c982efd76c91c201e693f4c4229] [formerly 02c40af1d00df526d64f4a37c75671e6a9251902 [formerly 6bc4a0b10c8746c08c0ee1a625fa4108b0307d8a]]
Former-commit-id: 24325671113a207e046c18f166ed54fe8e645c54 [formerly 2bf01a993a7eb84e0e526dd7fd1fcfe2f69c3dcb]
Former-commit-id: 968858c16fbdd958e294506f021d076ffb5a4ed0
PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild