Get fullpath instead of filename
Start server when read idris file