IR issues in Remix

[kunjani]

I am looking at flintc ir output in Remix. There are a couple of Solidity compilation errors that come up every time as a result of some flintc boilerplate output.
(i) The first line of every solidity program begins
pragma solidity <compiler version>;
The current operational compiler version is 0.5.2 but flintc outputs 0.4.21

(ii) The flintc code makes a call to a function sha3 which existed in version 0.4.21 but now is not recognised. I believe that it could be replaced by a function keccak256.

(iii) The fallback function needs to be declared as external and not public.

[matteobilardi]

This can be solved by setting the solidity compiler version to 0.4.24 as the current version of Flint does not support Solidity 0.5.