file_regexp = Str.regexp "^[a-zA-Z][a-zA-Z0-9_\\.\\-]*$"